/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	cNovember 7, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor Woody Bledsoe
␈↓ ↓H␈↓Applied Mathematics Department
␈↓ ↓H␈↓University of Texas at Austin
␈↓ ↓H␈↓Austin, Texas

␈↓ ↓H␈↓Dear Woody,

␈↓ ↓H␈↓Greetings!␈α⊂ I've␈α⊃just␈α⊂returned␈α⊃from␈α⊂the␈α⊂USSR,␈α⊃and␈α⊂it␈α⊃feels␈α⊂good␈α⊂to␈α⊃"relax"␈α⊂by␈α⊃continuing␈α⊂my
␈↓ ↓H␈↓research.␈αI␈αhope␈αthe␈αlast␈αfew␈αdays␈αof␈αthe␈αIJCAI␈αconference␈αwere␈αproductive␈αfor␈αyou.␈αI␈αwas␈αafraid
␈↓ ↓H␈↓that all that singing at the banquet might drive you back into the hospital!

␈↓ ↓H␈↓I'm␈α∞sending␈α
you␈α∞a␈α
copy␈α∞of␈α
my␈α∞dissertation␈α
proposal,␈α∞as␈α
you␈α∞requested.␈α
Recall␈α∞that␈α
it␈α∞is␈α∞a␈α
system
␈↓ ↓H␈↓which␈α∂intuitively␈α∂"discovers"␈α∞simple␈α∂mathematical␈α∂concepts,␈α∂which␈α∞aims␈α∂at␈α∂expertise␈α∂in␈α∞theorem
␈↓ ↓H␈↓␈↓↓proposing␈↓␈αrather␈αthan␈αtheorem␈α␈↓↓proving␈↓.␈α If␈αyou␈α
≡nd␈αit␈αrelevant␈αand/or␈αinteresting,␈αperhaps␈αwe␈α
can
␈↓ ↓H␈↓discuss it further.

␈↓ ↓H␈↓I␈αhope␈α
to␈αhave␈α
some␈αinteresting␈α
results␈αby␈αDecember.␈α
 Assuming␈αthe␈α
work␈αprogresses␈α
smoothly,␈αI
␈↓ ↓H␈↓should␈α
receive␈αmy␈α
Ph.D.␈αthis␈α
Spring,␈αand␈α
I␈αwould␈α
be␈αhappy␈α
to␈αtalk␈α
at␈αTexas␈α
about␈α
my␈αresearch
␈↓ ↓H␈↓sometime␈α
this␈α
Winter.␈α
 Please␈α∞keep␈α
in␈α
touch,␈α
especially␈α
about␈α∞your␈α
ideas␈α
for␈α
a␈α
␈↓↓tabula␈α∞raza␈↓␈α
math
␈↓ ↓H␈↓system.



␈↓ ↓H␈↓␈↓ ε_Cheers,






␈↓ ↓H␈↓␈↓ ¬vDoug  Lenat